max

The maximum value of a PositiveInt.